1

Quantified Multimodal Logics in Simple Type Theory

Year:
2013
Language:
english
File:
PDF, 252 KB
english, 2013
41

The Higher-Order ProverLeo-II

Year:
2015
Language:
english
File:
PDF, 581 KB
english, 2015